go/types.Const.Type (method, view implemented interface methods)
118 uses
go/types (current package)
decl.go#L287: if a, ok := tname.Type().(*Alias); ok {
mono.go#L153: switch obj.Type().(type) {
mono.go#L248: do(typ.Method(i).Type())
mono.go#L253: do(tup.At(i).Type())
mono.go#L260: do(typ.Field(i).Type())
mono.go#L291: if tpar, ok := elem.Type().(*TypeParam); ok {
named.go#L475: rbase, _ := deref(origSig.Recv().Type())
object.go#L120: func (obj *object) Type() Type { return obj.typ }
object.go#L660: if _, ok := recv.Type().(*Interface); ok {
object.go#L667: WriteType(buf, recv.Type(), qf)
object.go#L688: } else if _, ok := obj.Type().(*TypeParam); ok {
range.go#L254: u, err := commonUnder(typ.Params().At(0).Type(), nil)
range.go#L265: case cb.Results().Len() != 1 || !Identical(cb.Results().At(0).Type(), universeBool):
range.go#L267: if cb.Results().Len() == 1 && isBoolean(cb.Results().At(0).Type()) {
range.go#L276: key = cb.Params().At(0).Type()
range.go#L279: val = cb.Params().At(1).Type()
subst.go#L365: if sig.recv != nil && sig.recv.Type() == old {
typestring.go#L217: if t == universeAnyAlias.Type().Underlying() {
universe.go#L112: _ = NewAlias(universeAnyAlias, universeAnyNoAlias.Type().Underlying()) // Link TypeName and Alias
go.pact.im/x/plumb/internal/discover
discover.go#L270: sig := obj.Type().(*types.Signature)
discover.go#L303: named := receiverNamed(recv.Type())
discover.go#L518: if gotypes.IsUntyped(obj.Type()) {
discover.go#L571: owner := tn.Type()
discover.go#L628: under := types.Unalias(tn.Type()).Underlying()
discover.go#L636: declared := tn.Type()
go.pact.im/x/plumb/internal/emit
render.go#L24: writeArgs(&b, args, p.Fn.Type().(*types.Signature).Variadic())
render.go#L35: writeArgs(&b, args[1:], p.Fn.Type().(*types.Signature).Variadic())
render.go#L115: return endsInResultlessFunc(u.Results().At(0).Type())
go.pact.im/x/plumb/internal/gotypes
cmp.go#L95: if c := CmpType(fa.Type(), fb.Type()); c != 0 {
cmp.go#L110: if c := CmpType(ma.Type(), mb.Type()); c != 0 {
cmp.go#L206: if c := CmpType(a.At(i).Type(), b.At(i).Type()); c != 0 {
gotypes.go#L178: return IsErrorType(sig.Results().At(0).Type())
subst.go#L63: sig := s.subst(mth.Type()).(*types.Signature)
subst.go#L82: fields[i] = types.NewField(f.Pos(), f.Pkg(), f.Name(), s.subst(f.Type()), f.Embedded())
subst.go#L116: vars[i] = types.NewVar(v.Pos(), v.Pkg(), v.Name(), s.subst(v.Type()))
unify.go#L73: if !Unify(pf.Type(), cf.Type(), params, bind) {
unify.go#L87: if pm.Id() != cm.Id() || !Unify(pm.Type(), cm.Type(), params, bind) {
unify.go#L105: if !Unify(p.At(i).Type(), c.At(i).Type(), params, bind) {
unify.go#L183: d = max(d, typeDepthRec(v.Type(), seen))
unify.go#L186: d = max(d, typeDepthRec(v.Type(), seen))
unify.go#L192: d = max(d, typeDepthRec(f.Type(), seen))
unify.go#L198: d = max(d, typeDepthRec(m.Type(), seen))
walk.go#L69: walkNamed(field.Type(), seen, visit)
walk.go#L76: walkNamed(method.Type(), seen, visit)
walk.go#L93: walkNamed(v.Type(), seen, visit)
walk.go#L157: if typeContains(field.Type(), seen, pred) {
walk.go#L169: if typeContains(method.Type(), seen, pred) {
walk.go#L188: if typeContains(v.Type(), seen, pred) {
go.pact.im/x/plumb/internal/solve
instance.go#L91: sig, e := instSignature(ctxt, p.Fn.Type().(*types.Signature), targs)
instance.go#L128: in.Inputs = append(in.Inputs, InputSlot{typ: f.Type(), Name: f.Name()})
instance.go#L168: return owner, m.Type().(*types.Signature), nil
instance.go#L177: msig := m.Type().(*types.Signature)
instance.go#L178: return msig.Recv().Type(), msig, nil
instance.go#L200: return f.Type(), recv, nil
instance.go#L239: in.Inputs = append(in.Inputs, InputSlot{typ: v.Type(), Name: v.Name()})
instance.go#L249: t := v.Type()
golang.org/x/exp/apidiff
apidiff.go#L159: if oldn, ok := tn.Type().(*types.Named); ok {
apidiff.go#L210: oIface, ok := otn1.Type().Underlying().(*types.Interface)
apidiff.go#L229: if types.Implements(otn2.Type(), oIface) && !types.Implements(nt2, nIface) {
apidiff.go#L247: d.checkCorrespondence(objectWithSide{old, false}, "", old.Type(), new.Type())
apidiff.go#L253: d.checkCorrespondence(objectWithSide{old, false}, "", old.Type(), new.Type())
apidiff.go#L257: d.checkCorrespondence(objectWithSide{old, false}, "", old.Type(), new.Type())
apidiff.go#L263: d.checkCorrespondence(objectWithSide{old, false}, "", old.Type(), new.Type())
apidiff.go#L276: ot := old.Type()
apidiff.go#L277: nt := new.Type()
apidiff.go#L334: vars = append(vars, types.NewVar(v.Pos(), v.Pkg(), "", v.Type()))
compatibility.go#L202: t := f.Type().Underlying()
compatibility.go#L347: return method.(*types.Func).Signature().Recv().Type()
correspondence.go#L74: if i >= new.Len() || !d.corr(old.At(i).Type(), new.At(i).Type(), p) {
correspondence.go#L91: !d.corr(of.Type(), nf.Type(), p) ||
correspondence.go#L116: if d.methodID(om) != d.methodID(nm) || !d.corr(om.Type(), nm.Type(), q) {
correspondence.go#L146: if on, ok := of.Type().(*types.Named); ok {
correspondence.go#L147: nn := nf.Type().(*types.Named)
messageset.go#L91: sig := f.Type().(*types.Signature)
messageset.go#L93: tn := types.TypeString(recv.Type(), types.RelativeTo(obj.Pkg()))
golang.org/x/tools/go/types/objectpath
objectpath.go#L290: if _, ok := types.Unalias(obj.Type()).(*types.TypeParam); !ok {
objectpath.go#L430: } else if T, ok := types.Unalias(tname.Type()).(*types.Named); ok {
golang.org/x/tools/go/types/typeutil
callee.go#L85: return recv != nil && types.IsInterface(recv.Type())
map.go#L245: hash += h.hash(f.Type())
map.go#L286: hash += 3*hashString(m.Name()) + 5*h.shallowHash(m.Type())
map.go#L327: hash += 3 * h.hash(tuple.At(i).Type())
map.go#L421: hash += 53471161 * h.shallowHash(t.At(i).Type())
golang.org/x/tools/internal/gcimporter
iexport.go#L712: w.typ(obj.Type(), obj.Pkg())
iexport.go#L715: sig, _ := obj.Type().(*types.Signature)
iexport.go#L721: if sig.Recv().Type() != types.Typ[types.Invalid] {
iexport.go#L748: w.value(obj.Type(), obj.Val())
iexport.go#L751: t := obj.Type()
iexport.go#L825: sig, _ := m.Type().(*types.Signature)
iexport.go#L1117: w.typ(f.Type(), fieldPkg)
iexport.go#L1151: sig, _ := m.Type().(*types.Signature)
iimport.go#L896: return pkg.Scope().Lookup(name).(*types.TypeName).Type()
ureader.go#L354: t, _ := types.Instantiate(r.p.ctxt, name.Type(), targs, false)
ureader.go#L357: return name.Type()
ureader.go#L588: sig := fn.Type().(*types.Signature)
golang.org/x/tools/internal/typeparams
free.go#L61: if w.Has(t.Field(i).Type()) {
free.go#L72: if w.Has(t.At(i).Type()) {
free.go#L89: if w.Has(t.Method(i).Type()) {
golang.org/x/tools/internal/typesinternal
element.go#L120: visit(T.Field(i).Type(), false)
element.go#L125: visit(T.At(i).Type(), false)
recv.go#L18: t := recv.Type()
types.go#L211: } else if _, ok := obj.Type().(*types.TypeParam); ok {
types.go#L269: t = field.Type()
zerovalue.go#L97: comp, ok := ZeroString(t.At(i).Type(), qual)
zerovalue.go#L267: Type: TypeExpr(v.Type(), qual),
zerovalue.go#L278: Type: TypeExpr(v.Type(), qual),